SUBDIRS=lesson_8

include ../../../../../include/kframework/ktest-group.mak
